\documentclass[10pt,a4paper]{article}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% Common packages:

\usepackage{multicol}   
\usepackage[english]{babel} 
%\usepackage[dvips]{graphics} 
%\usepackage[dvips]{graphicx}
\usepackage{amsmath} % American Math Society :
\usepackage{amssymb} 
\usepackage[utf8]{inputenc} 
\usepackage{verbatim} 
\usepackage{marvosym}
\usepackage{ulem}
\usepackage{listings}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% For PDF

%%% doc:
%http://www-fourier.ujf-grenoble.fr/~bouche/PDFtex/
%http://barrault.free.fr/ressources/rapports/pdflatex/

\usepackage[pdftex]{graphicx}
\DeclareGraphicsExtensions{.jpg,.mps,.pdf,.png}

\usepackage[pdftex]{thumbpdf}

\usepackage[pdftex,                %
bookmarks         = true,%
bookmarksnumbered = true,%
pdfpagemode       = None,%
pdfstartview      = FitH,%
pdfpagelayout     = SinglePage,%
colorlinks        = true,%
]{hyperref}%
% manual : http://www.tug.org/applications/hyperref/manual.html

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% Customisation:

%\addtolength{\voffset}{-1cm}
%\addtolength{\textheight}{1cm}
\setlength\parindent{0.0in}
\setlength\parskip{0.02in}
%% Font:
%\renewcommand{\familydefault}{cmss}

%%% Interline 0.8*(original)
%\renewcommand{\baselinestretch}{0.8}

%% PDF:
\usepackage{color}
\definecolor{webred}{rgb}{0.3,0,0}
\definecolor{webblue}{rgb}{0,0,0.3}


\hypersetup{ 
    linkcolor         = webred,
    urlcolor          = webred,
    citecolor         = webblue,
    linkbordercolor   = {1 1 1},
    citebordercolor   = {1 1 1},
    pdfauthor   = {},%
    pdftitle    = {},%
    pdfsubject  = {},%
    pdfkeywords = {},%
    pdfcreator  = {PDFLaTeX},%
    pdfproducer = {PDFLaTeX}}

\pagestyle{headings}


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% Macros:


% Shell commands:
\definecolor{promptcolor}{rgb}{0,0.2,0.7}
\definecolor{cmdcolor}{rgb}{0.1,0.3,0.}
\definecolor{shellcolor}{rgb}{0.8, 0.90, 0.99}
\definecolor{resultcolor}{rgb}{0.63, 0.52, 0.11}

\newcommand{\ShellCmd}[1]{%
%\colorbox{shellcolor}{  %XXX does not wrap lines (in pdflatex) ???
\hspace{0.3cm}\texttt{\textcolor{promptcolor}{loc@seq~\$}\ \textcolor{cmdcolor}{#1}}
%}
}

\newcommand{\ShellCmdWithResult}[2]{%
%\colorbox{shellcolor}{  %XXX does not wrap lines (in pdflatex) ???
%\hspace{0.3cm}%
\texttt{%
\textcolor{promptcolor}{loc@seq~\$}\ \textcolor{cmdcolor}{#1}\\
\textcolor{resultcolor}{#2}}
%}
}



% File Names:
\newcommand{\FileName}[1]{%
\texttt{#1}}

%Changing programming language for:
\lstset{language=[Objective]Caml}
%\lstset{language=C}

\input{manual.tex}



